2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Performance of Computer Communication Systems: A Model-Based Approach
Автор:
Boudewijn R. Haverkort
Категория:
Компьютеры
Размер книги: 31.83 Mb
Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International ... Programming and Software Engineering)
Автор:
Lubos Brim
, Автор:
Boudewijn Haverkort
, Автор:
Martin Leucker
, Автор:
Jaco van de Pol
Категория:
Техника
Размер книги: 3.48 Mb
Performance of computer communication systems
Автор:
Boudewijn R. Haverkort
Размер книги: 31.83 Mb
Validation of Stochastic Systems - A Guide to Current Research
Автор:
Christel Baier
, Автор:
Boudewijn R. Haverkort
, Автор:
Holger Hermanns
, Автор:
Joost-Pieter Katoen
, Автор:
Markus Siegle
Категория:
CsLn_
Размер книги: 5.22 Mb
Computer Performance Evaluation. Modelling Techniques and Tools: 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 25-31, 2000 Proceedings
Автор:
Boudewijn R. Haverkort
, Автор:
Henrik C. Bohnenkamp
, Автор:
Connie U. Smith
Размер книги: 5.63 Mb
Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th
Автор:
Lubos Brim
, Автор:
Boudewijn Haverkort
Размер книги: 5.06 Mb
